Abel[1]

HP Labs

A strongly-typed object-oriented language with contravariant semantics. Inherited interfaces are not required to be subtypes.